#include "proc.h"
#include "sched.h"


void preempt_count_add(unsigned int val)
{   
    current_thread_info()->preempt_count += val;
}

void preempt_count_sub(unsigned int val)
{
    if (current_thread_info()->preempt_count >= val)
        current_thread_info()->preempt_count -= val;
    else 
        current_thread_info()->preempt_count = 0;
}

void preempt_count_set(int pc)
{

}
